Algorithms for synchronization and consistency in concurrent system services
نویسنده
چکیده
منابع مشابه
Thesis for the degree of Doctor of Philosophy Algorithms for synchronization and consistency in concurrent system services
Synchronization, consistency and scalability are important issues in the design of concurrent computer system services. In this thesis we study the application of optimistic and scalable methods in concurrent system services. In a distributed setting we study scalable tracking of the causal relations between events, lightweight information dissemination in optimistic causal order in distributed...
متن کاملA simple proof system for lock-free concurrency
The use of locking is the classical approach to prevent interference in concurrent access to shared data structures. Using locks it is not difficult to ensure data consistency (a safety property) and deadlockfreedom (a liveness property). Many sophisticated implementation and reasoning techniques for lockbased concurrent programming have been developed over some decades. Lock-based synchronizat...
متن کاملApplying activity-based costing to determine the final costs of radiology services in Shiraz, Iran: a concurrent equations approach
The Activity-Based Costing (ABC) method possesses the capability to identify the costs accurately and provide non-financial information for improving system function and increasing its efficiency. The present study aimed to calculate the final costs of radiology services to determine the final costs deviation from the enacted tariffs. This study was a retrospective cross-sectional analysis of r...
متن کاملFrom Causal Consistency to Sequential Consistency in Shared Memory Systems
Sequential consistency and causal consistency constitute two of the main consistency criteria used to deene the semantics of accesses in the shared memory model. An execution is sequentially consistent if all processes can agree on a same legal sequential history of all the accesses; if processes perceive distinct legal sequential histories of all the accesses, the execution is only causally co...
متن کاملAn Adaptive Transactional System - Framework and Service Synchronization
The characteristics of advanced applications vary a lot and the transaction concept must adapt to fulfil the varying transactional requirements. However, current transaction services do not support the required flexibility in a principled way. We believe that the need for transaction service flexibility can be supported through reflection, where the system is capable of inspecting and changing ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006